Better gcc error message if GUEST_PAGING_LEVELS is undefined.
authorKeir Fraser <keir.fraser@citrix.com>
Mon, 12 Apr 2010 16:36:10 +0000 (17:36 +0100)
committerKeir Fraser <keir.fraser@citrix.com>
Mon, 12 Apr 2010 16:36:10 +0000 (17:36 +0100)
commitebb05756a0a91b1c45a22a9f11e495a55b11ac14
tree0a31a8f0fde99c36cb10ae715936420be6f05ef4
parent7cc4840cb2ec55f784800543d7ec49655f049654
Better gcc error message if GUEST_PAGING_LEVELS is undefined.

Signed-off-by: Christoph Egger <Christoph.Egger@amd.com>
xen/include/asm-x86/guest_pt.h